Type Extension and Eecient Ast Manipulation
نویسنده
چکیده
Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanisms for dynamic type checking explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime performance.
منابع مشابه
Functors Induced by Cauchy Extension of C$^ast$-algebras
In this paper, we give three functors $mathfrak{P}$, $[cdot]_K$ and $mathfrak{F}$ on the category of C$^ast$-algebras. The functor $mathfrak{P}$ assigns to each C$^ast$-algebra $mathcal{A}$ a pre-C$^ast$-algebra $mathfrak{P}(mathcal{A})$ with completion $[mathcal{A}]_K$. The functor $[cdot]_K$ assigns to each C$^ast$-algebra $mathcal{A}$ the Cauchy extension $[mathcal{A}]_K$ of $mathcal{A}$ by ...
متن کاملPrinted Copies: Eecient Boolean Manipulation with Obdd's Can Be Extended to Fbdd's Eecient Boolean Manipulation with Obdd's Can Be Extended to Fbdd's Universitt at Trier D{54286 Trier Revised Version
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
متن کاملFrontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs
Extended Abstract Abstract. A central issue in the solution of many computer aided design problems is to nd concise representations for circuit designs and their functional speciication. Recently, a restricted type of branching programs (OBDDs) proved to be extremely useful for representing Boolean functions for various CAD applications Bry92]. Unfortunatelly, many circuits of practical interes...
متن کاملEecient Contour Extraction in Color Images
An extension of second-order diierential edge detection methods to color images was previously proposed. This work shows how, by casting the problem into a subpixel resolution oriented framework, an eecient algorithm for edge detection and contour traversal can be devised for both graylevel and color images. The results from an implementation on a standard PC show that the computational cost is...
متن کاملBoolean Manipulation with Free BDD's - First Experimental Results
It is shown that Free Binary Decision Diagrams (FBDD's), with respect to a predeened type, provide a canonical representation and allow eecient solutions of the basic tasks in Boolean manipulation similarly as the well{known OBDD's do. But in contrast to OBDD's, typed FBDD's allow more succinct representations of Boolean functions. For experimentation we have used an FBDD{ package. The types we...
متن کامل